A Circuit-Level Amoeba-Inspired SAT Solver
نویسندگان
چکیده
منابع مشابه
A Signal Correlation Guided Circuit-SAT Solver
We propose two heuristics, implicit learning and explicit learning, that utilize circuit topological information and signal correlations to derive conflict clauses that could efficiently prune the search space for solving circuit-based SAT problem instances. We implemented a circuit-SAT solver SC-C-SAT based on the proposed heuristics and the concepts used in other state-of-the-art SAT solvers....
متن کاملManySAT: a Parallel SAT Solver
In this paper, ManySAT a new portfolio-based parallel SAT solver is thoroughly described. The design of ManySAT benefits from the main weaknesses of modern SAT solvers: their sensitivity to parameter tuning and their lack of robustness. ManySAT uses a portfolio of complementary sequential algorithms obtained through careful variations of the standard DPLL algorithm. Additionally, each sequentia...
متن کاملContrasat - A Contrarian SAT Solver
The SAT solver Contrasat is a small variation of the well-established Minisat solver. It was entered in the Minisat hack track of the 2011 SAT competition, and was judged to be first place in one category. This paper describes the code change and its motivation. The characterization as “contrarian” is explained. Experimental results are summarized.
متن کاملMiraXT – A Multithreaded SAT Solver
This paper briefly describes MiraXT, a multithreaded SAT solver that was designed to take advantage of current and future shared memory multiprocessor systems. The experimental results in [6] show that already in single threaded mode, MiraXT compares well to other state-ofthe-art solvers on a wide range of industrial problems. In threaded mode, it provides cutting edge performance, as speedup i...
متن کاملMidL: a SAT(ID) Solver
We introduce SAT(ID) and explain its relation both to SAT and to ASP. We then describe the SAT(ID) solver MidL. We outline its design and algorithms, and finally establish its performance by experiment.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Circuits and Systems II: Express Briefs
سال: 2020
ISSN: 1549-7747,1558-3791
DOI: 10.1109/tcsii.2019.2951181